Non-Classical - PDFSEARCH.IO - Document Search Engine

Non-Classical
Results: 915

#	Item
631	Multi-Valued Symbolic Model-Checking MARSHA CHECHIK, BENET DEVEREUX, STEVE EASTERBROOK AND ARIE GURFINKEL University of Toronto This paper introduces the concept of multi-valued model-checking and describes a multi-valu Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2003-07-30 17:15:50 Algebraic logic Algebraic structures Non-classical logic Boolean algebra Abstract algebra Heyting algebra Model theory Modal logic Many-valued logic Mathematical logic Logic Mathematics
632	EDUCATION THROUGH THE ATHENIAN ACROPOLIS HELLENIC REPUBLIC ñ MINISTRY OF CULTURE ñ ACROPOLIS RESTORATION SERVICE 1st EPHORATE OF PREHISTORIC & CLASSICAL ANTIQUITIES ñ DEPARTMENT OF INFORMATION & EDUCATION Add to Reading List Source URL: www.ysma.gr Language: English - Date: 2011-10-18 03:25:58 Ancient Greece Greece Greek temples Ancient Greek architecture Conversion of non-Christian places of worship into churches Parthenon Elgin Marbles Classical Athens Acropolis Acropolis of Athens Greek culture Athens
633	PDF Document Add to Reading List Source URL: www.image.ece.ntua.gr Language: English - Date: 2012-06-07 04:59:25 Non-classical logic Semantic Web Description logic Semantics Knowledge WIAMIS Knowledge representation and reasoning Logic Science Artificial intelligence
634	PDF Document Add to Reading List Source URL: www.image.ece.ntua.gr Language: English - Date: 2012-06-07 04:59:26 Non-classical logic Semantic Web Description logic WIAMIS Knowledge Semantics Knowledge representation and reasoning Logic Science Artificial intelligence
635	Agora Energiewende is a non-partisan, independent energy think tank that was established in 2012 in order to assist with the energy transition in Germany and identify innovative solutions in changing energy markets. One Add to Reading List Source URL: www.agora-energiewende.org Language: English - Date: 2014-04-28 06:32:47 Film Classical antiquity Agora Center Jyväskylä Agora
636	Appendix E : Physical Description Codes This list is based on tables originally published by the Council of Europe’s Documentation Centre for Education in Europe. Where an item has non-standard or newly-developed forms Add to Reading List Source URL: www.bl.uk Language: English - Date: 2011-02-08 05:17:00 Magnet Electronics Technology Metadata Object Description Schema Classical cipher Electromagnetism Recorders Videocassette recorder
637	Created [removed]City of Brandon -‐ Land Use Table P=Permitted S=Permitted Subject to Standards C-‐Conditional Use Only Blank=N Add to Reading List Source URL: www.cityofbrandon.net Language: English - Date: 2013-12-30 11:00:48 Modal logic Non-classical logic Philosophical logic Negation Logic Propositional calculus Mathematical logic
638	Logic model worksheet: Depicting a theory of change One key value of a logic model is that it displays the chain of connections showing how a program is expected to work to achieve desired results. When you use a table o Add to Reading List Source URL: www.uwex.edu Language: English - Date: 2008-02-18 10:33:28 Non-classical logic Philosophical logic Predicate logic Model theory Modal logic Mereology Structure Logic Mathematical logic Mathematics
639	53 PEW RESEARCH CENTER APPENDIX 4: TOPLINE QUESTIONNAIRE PEW SOCIAL & DEMOGRAPHIC TRENDS Add to Reading List Source URL: www.pewsocialtrends.org Language: English - Date: 2013-03-14 08:45:22 Modal logic Non-classical logic Philosophical logic
640	N IF Navigation and Ancillary Information Facility Frames Kernel FK Add to Reading List Source URL: naif.jpl.nasa.gov Language: English - Date: 2014-07-23 12:49:32 Introductory physics Relativity Astronomy Inertial frame of reference Non-inertial reference frame Moving frame Frame Epoch Orientation Physics Frames of reference Classical mechanics

UPDATE